Session 12: Parallel Programming

نویسنده

  • Peter Milligan
چکیده

The drive to identify solutions to the many problems associated with the development of code for execution on parallel architectures continues to dominate research in this area. Apart from the problems associated with the lack of general purpose development environments there is the simple fact that once a parallel version of a program is produced there is no guarantee that it will have a satisfactory execution profile. Certain areas of programming, e.g. logic programming, pose highly specialized problems and there is a long standing and growing interest in solving these problems in a highly efficient manner. The papers contained in this section of the workshop programme can be divided into two groups. The first contains a paper which will have a broad range of applicability as it suggests how programs exhibiting finegrain characteristics can be restructured to produce coarsegrain equivalents with a much improved performance prolile. The second group of three papers have logic programming as a central feature and consider various performance and implementation related issues.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Safe Parallel Programming with Session Java

The session-typed programming language Session Java (SJ) has proved to be an effective tool for distributed programming, promoting structured programming for communications and compile-time safety. This paper investigates the use of SJ for session-typed parallel programming, and introduces new language primitives for chained iteration and multi-channel communication. These primitives allow the ...

متن کامل

Scalable Session Programming for Heterogeneous High-Performance Systems

This paper introduces a programming framework based on the theory of session types for safe and scalable parallel designs. Sessionbased languages can offer a clear and tractable framework to describe communications between parallel components and guarantee communicationsafety and deadlock-freedom by compile-time type checking and parallel MPI code generation. Many representative communication t...

متن کامل

Multiparty Session C: Safe Parallel Programming with Message Optimisation

This paper presents a new efficient programming toolchain for message-passing parallel algorithms which can fully ensure, for any typable programs and for any execution path, deadlock-freedom, communication safety and global progress through a static checking. The methodology is embodied as a multiparty session-based programming environment for C and its runtime libraries, which we call Session...

متن کامل

Session-Based Programming for Parallel Algorithms: Expressiveness and Performance

This paper investigates session programming and typing of benchmark examples to compare productivity, safety and performance with other communications programming languages. Parallel algorithms are used to examine the above aspects due to their extensive use of message passing for interaction, and their increasing prominence in algorithmic research with the rising availability of hardware resou...

متن کامل

A fuzzy mixed-integer goal programming model for a parallel machine scheduling problem with sequence-dependent setup times and release dates

This paper presents a new mixed-integer goal programming (MIGP) model for a parallel machine scheduling problem with sequence-dependent setup times and release dates. Two objectives are considered in the model to minimize the total weighted flow time and the total weighted tardiness simultaneously. Due to the com-plexity of the above model and uncertainty involved in real-world scheduling probl...

متن کامل

Process algebraic modeling of authentication protocols for analysis of parallel multi-session executions

Many security protocols have the aim of authenticating one agent acting as initiator to another agent acting as responder and vice versa. Sometimes, the authentication fails because of executing several parallel sessions of a protocol, and because an agent may play both the initiator and responder role in parallel sessions. We take advantage of the notion of transition systems to specify authen...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1994